Temporal logic - PDFSEARCH.IO - Document Search Engine

Temporal logic
Results: 715

#	Item
661	Synthesis of Reactive(1) Designs Nir Piterman1 , Amir Pnueli2 , and Yaniv Sa’ar3 1 Add to Reading List Source URL: laser.inf.ethz.ch Language: English - Date: 2009-11-27 06:03:53 Interpretation Model theory Metaphilosophy Philosophy Logic Linear temporal logic Temporal logic
662	Gabbay Publications Chronological Publications List Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English Philosophical logic Model theory Modal logic Non-monotonic logic Kripke semantics Temporal logic Intermediate logic Proof theory First-order logic Logic Mathematical logic Non-classical logic
663	The Temporal Logic of Actions LESLIE LAMPORT Digital Equipment Corporation Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2000-06-27 16:01:37 Predicate logic Semantics Formal languages Temporal logic Function Quantification Temporal logic of actions Well-formed formula First-order logic Logic Mathematics Mathematical logic
664	Under consideration for publication in Math. Struct. in Comp. Science The limit-colimit coincidence theorem for Add to Reading List Source URL: tcs.uj.edu.pl Language: English - Date: 2009-10-26 10:50:27 Functor Adjoint functors Uniform space Function Yoneda lemma Continuous function Natural transformation Initial and terminal objects Linear temporal logic Mathematics Mathematical analysis Limit
665	Weak Measurements: A New Type of Quantum Measurement and its Experimental Implications. Add to Reading List Source URL: www.hep.ucl.ac.uk Language: English - Date: 2012-12-20 13:20:01 Quantum potential Wave function Uncertainty principle Probability amplitude Basil Hiley Linear temporal logic Physics Quantum mechanics Schrödinger equation
666	Modern Theory of Quantum Measurement and its Applications Akira Shimizu Department of Basic Science, University of Tokyo, Komaba Add to Reading List Source URL: as2.c.u-tokyo.ac.jp Language: English - Date: 2009-04-22 03:20:47 Linear temporal logic Temporal logic Quantum field theory
667	SPIN[removed]CAN QUANTUM MECHANICS BE RECONCILED Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2011-03-24 08:13:50 Fermionic field Spinors Wave function Operator Entailment Linear temporal logic Μ operator Physics Quantum mechanics Quantum field theory
668	in: BJ. Copeland (ed.), Logic and Reality, Clarendon Press, 168 Add to Reading List Source URL: www.phil-fak.uni-duesseldorf.de Language: English - Date: 2012-01-23 08:14:44 Model theory Philosophical logic Predicate logic Non-classical logic Kripke semantics Temporal logic Epistemic modal logic Interpretation First-order logic Logic Mathematical logic Modal logic
669	Model Checking II Temporal Logic Model Checking Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-09-27 18:25:33 Mathematics Logic in computer science Modal logic Linear temporal logic Philosophical logic CTL* Computation tree logic Kripke semantics Kripke structure Logic Temporal logic Mathematical logic
670	Temporal Logic with “Until”, Functional Reactive Programming with Processes, and Concrete Process Categories Add to Reading List Source URL: www.ioc.ee Language: English - Date: 2012-11-14 10:13:24 Mathematics Linear temporal logic Temporal logic Monad Limit Initial and terminal objects Functor Modal logic Cone Category theory Abstract algebra Adjoint functors